Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
11	Expectations and Choiceworthiness∗ J. McKenzie Alexander Department of Philosophy, Logic and Scientific Method London School of Economics and Political Science April 2, 2010 Add to Reading List Source URL: jmckalex.org Language: English - Date: 2016-05-18 05:42:58
12	Latent Domain Phrase-based Models for Adaptation Hoang Cuong and Khalil Sima’an Institute for Logic, Language and Computation University of Amsterdam Science Park 107, 1098 XG Amsterdam, The Netherlands {c.hoang,k.sima Add to Reading List Source URL: emnlp2014.org Language: English - Date: 2014-10-16 05:19:38
13	αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:16
14	A Logic of Prediction and Evaluation Thursday, February 16, 2012 5:12 PM One goal of science: determine whether current ways of thinking about the world are adequate for predicting and understanding events Add to Reading List Source URL: www.justinesarey.com Language: English - Date: 2018-05-19 15:11:01
15	23rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡ Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:58
16	Do as I Say, Not as I Do, or, Conformity in Scientific Networks James Owen Weatherall, Cailin O’Connor Department of Logic and Philosophy of Science University of California, Irvine Add to Reading List Source URL: cailinoconnor.com Language: English - Date: 2018-05-16 19:43:19
17	Normative Reasoning and Deontic Logics [@RUB – SS2015] Christian Straßer Institute for Philosophy II, Ruhr-University Bochum Centre for Logic and Philosophy of Science Ghent University, Belgium Add to Reading List Source URL: homepages.ruhr-uni-bochum.de Language: English - Date: 2015-05-19 06:19:03
18	Logic and the Methodology of Science February 2005 Preliminary Exam August 23, Let ϕ(v) be a formula in the laguage of Peano Arithmetic (PA). (a) Suppose that ϕ(v) is Σ1 , and PA ` ∃vϕ(v). Show that PA ` ϕ Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2018-03-13 00:17:29
19	Introduction to higher-order computation Nordic Logic School, Stockholm, 2017 Mart´ın H¨otzel Escard´o Theory Group, School of Computer Science University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-08-10 12:41:25
20	Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45C Add to Reading List Source URL: web.student.chalmers.se Language: English - Date: 2010-08-22 03:55:59

UPDATE